Legeard, B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model-Based Testing Essentials (Guide to the ISTQB® Certified Model-Based Tester Foundation Level) || Appendix A: Solutions of Exercises

Kramer, Anne, Legeard, Bruno

Year:

2016

Language:

english

File:

PDF, 323 KB

english, 2016

2

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Model-Based Vulnerability Testing for Web Applications

Lebeau, Franck, Legeard, Bruno, Peureux, Fabien, Vernotte, Alexandre

Year:

2013

Language:

english

File:

PDF, 391 KB

english, 2013

3

[IEEE 2017 Global Internet of Things Summit (GIoTS) - Geneva, Switzerland (2017.6.6-2017.6.9)] 2017 Global Internet of Things Summit (GIoTS) - Improving Internet of Things device certification with policy-based management

Neisse, Ricardo, Baldini, Gianmarco, Steri, Gary, Ahmad, Abbas, Fourneret, Elizabeta, Legeard, Bruno

Year:

2017

Language:

english

File:

PDF, 775 KB

english, 2017

4

[IEEE 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Identifying and Generating Missing Tests using Machine Learning on Execution Traces

Utting, Mark, Legeard, Bruno, Dadeau, Frederic, Tamagnan, Frederic, Bouquet, Fabrice

Year:

2020

File:

PDF, 205 KB

2020

5

A taxonomy of model-based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 929 KB

english, 2012

6

High speed SBQ casting at Chaparral Steel

Kerry Legeard, Mike Dalby

Journal:

Canadian Metallurgical Quarterly

Year:

1999

Language:

english

File:

PDF, 1.55 MB

english, 1999

7

Évolution de l’accès aux soins en période de nuit profonde (entre minuit et huit heures du matin). Impact sur les établissements de soins

Berthier, F., Auneau, J.-C., Legeard, E., Gondret, C., Lorber, J., Jenvrin, J., Le Conte, P., Potel, G.

Journal:

Journal Européen des Urgences

Year:

2007

Language:

french

File:

PDF, 108 KB

french, 2007

8

High Speed SBQ Casting at Chaparral Steel

Legeard, Kerry, Dalby, Mike

Journal:

Canadian Metallurgical Quarterly

Year:

1999

Language:

english

File:

PDF, 1.17 MB

english, 1999

9

Achieving SCA Conformance Testing with Model-Based Testing

Botella, Julien, Delahaye, Jean-Philippe, Jaffuel, Eddie, Legeard, Bruno, Peureux, Fabien

Journal:

Journal of Signal Processing Systems

Year:

2016

Language:

english

File:

PDF, 3.54 MB

english, 2016

10

[IEEE 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE International Symposium on Software Reliability Engineering Workshops - MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned

Bernabeu, Gil, Jaffuel, Eddie, Legeard, Bruno, Peureux, Fabien

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

11

8.2.1 Automated Test Generation and Execution for Automotive Embedded Software

Bouquet, Fabrice, Lebeau, Franck, Legeard, Bruno

Journal:

INCOSE International Symposium

Year:

2004

Language:

english

File:

PDF, 552 KB

english, 2004

12

Model-Based Testing Essentials (Guide to the ISTQB® Certified Model-Based Tester Foundation Level) || Introducing MBT in your company

Kramer, Anne, Legeard, Bruno

Year:

2016

Language:

english

File:

PDF, 255 KB

english, 2016

13

Model-Based Testing Essentials (Guide to the ISTQB® Certified Model-Based Tester Foundation Level) || Conclusions

Kramer, Anne, Legeard, Bruno

Year:

2016

Language:

english

File:

PDF, 118 KB

english, 2016

14

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Lightweight Model-Based Testing for Enterprise IT

Elodie, Bernard, Fabrice, Ambert, Bruno, Legeard, Arnaud, Bouzy

Year:

2018

Language:

english

File:

PDF, 481 KB

english, 2018

15

Model-Based Testing Essentials (Guide to the ISTQB® Certified Model-Based Tester Foundation Level) || Appendix A: Solutions of Exercises

Kramer, Anne, Legeard, Bruno

Year:

2016

File:

PDF, 323 KB

2016

16

Improved Testing of AI-Based Anomaly Detection Systems Using Synthetic Surveillance Data

Chevrot, Antoine, Vernotte, Alexandre, Bernabe, Pierre, Cretin, Aymeric, Peureux, Fabien, Legeard, Bruno

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Year:

2020

File:

PDF, 383 KB

2020

17

Generation of test sequences from formal specifications: GSM 11-11 standard case study

Eddy Bernard, Bruno Legeard, Xavier Luck, Fabien Peureux

Journal:

Software: Practice and Experience

Year:

2004

Language:

english

File:

PDF, 275 KB

english, 2004

18

Controlling test case explosion in test generation from B formal models

Bruno Legeard, Fabien Peureux, Mark Utting

Journal:

Software Testing, Verification and Reliability

Year:

2004

Language:

english

File:

PDF, 229 KB

english, 2004

19

Preamble computation in automated test case generation using constraint logic programming

Séverine Colin, Bruno Legeard, Fabien Peureux

Journal:

Software Testing, Verification and Reliability

Year:

2004

Language:

english

File:

PDF, 273 KB

english, 2004

20

CLPS–B – A constraint solver to animate a B specification

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 977 KB

english, 2004

21

Multicriteria optimality for iterative encoding of computer-generated holograms

Legeard, Luc, Réfrégier, Philippe, Ambs, Pierre

Journal:

Year:

1997

Language:

english

File:

PDF, 307 KB

english, 1997

22

Identification of potential organ donors of advanced age in EDs

Philippe Le Conte, David Riochet, Laetitia Labastire, Jean Christophe Auneau, Estelle Legeard, Myriam Van Tricht, Eric Batard, Emmanuel Montassier, Arnaud Martinage, Gilles Potel

Journal:

The American Journal of Emergency Medicine

Year:

2012

Language:

english

File:

PDF, 140 KB

english, 2012

23

SysML to UML model transformation for test generation purpose

Lasalle, Jonathan, Bouquet, Fabrice, Legeard, Bruno, Peureux, Fabien

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2011

Language:

english

File:

PDF, 448 KB

english, 2011

24

Health care for ocean racing departures: A partnership between Lifeguard Society and Emergency Service Unit

André,, Lechevrel, A., Kuckzer, V., Legeard, E., Hudelo, C., Moreau, D., Berthier, F.

Journal:

Archives des Maladies Professionnelles et de l'Environnement

Year:

2013

Language:

english

File:

PDF, 45 KB

english, 2013

25

Épidémiologie des décès avec analyse des décisions de limitation du niveau de soins dans les services d'urgence

Le Conte, P., Riochet, D., Arnaudet, I., Volteau, C., Legeard, E., Auneau, J.-C., Potel, G.

Journal:

Journal Européen des Urgences

Year:

2007

Language:

french

File:

PDF, 85 KB

french, 2007

26

Recensement des donneurs d'organes potentiels aux urgences: analyse en sous-groupes de l'étude prospective multicentrique SU-DALISA

Auneau, JC., Legeard, E., Libot, J., Arnaudet, I., Gondret, C., Penverne, Y., Vignaud, F., Le Conte, P.

Journal:

Journal Européen des Urgences

Year:

2007

Language:

french

File:

PDF, 42 KB

french, 2007

27

Calendar

Auneau, JC., Legeard, E., Libot, J., Arnaudet, I., Gondret, C., Penverne, Y., Vignaud, F., Le Conte, P.

Journal:

Year:

1991

Language:

english

File:

PDF, 84 KB

english, 1991

28

La circulation régionale normothermique améliore-t-elle la qualité des greffons de donneur décédés après arrêt cardiaque ?

Videcoq, M., Libot, J., Legeard, E., Karam, G., Dantal, J.

Journal:

Annales Françaises d'Anesthésie et de Réanimation

Year:

2013

Language:

french

File:

PDF, 193 KB

french, 2013

29

Projet de poursuite des soins aux urgences dans un objectif de don d’organes : vécu des familles

Videcoq, M., Cornuault, M., Libot, J., Villers, D., Legeard, E., Le Conte, P., Potel, G.

Journal:

Annales Françaises d'Anesthésie et de Réanimation

Year:

2013

Language:

french

File:

PDF, 184 KB

french, 2013

30

Parcours de soins des patients régulés par le Samu Centre 15 de Nantes et arrivant avec des signes de gravité aux urgences

Legeard, E., Jacob, O., Berthier, F., Le Conte, P., Potel, G.

Journal:

Journal Européen des Urgences

Year:

2009

Language:

french

File:

PDF, 400 KB

french, 2009

31

Comment optimiser le recensement pré-hospitalier des Donneurs Décédés après Arrêt Cardiaque (DDAC) ?

Cornuault, M., Legeard, E., Libot, J., Videcoq, M., Dagoret, E., Lalande, J.

Journal:

Annales Françaises d'Anesthésie et de Réanimation

Year:

2014

Language:

french

File:

PDF, 133 KB

french, 2014

32

[IEEE 15th International Symposium on Software Reliability Engineering - Saint-Malo, Bretagne, France (02-05 Nov. 2004)] 15th International Symposium on Software Reliability Engineering - Boundary Coverage Criteria for Test Generation from Formal Models

Kosmatov, N., Legeard, B., Peureux, F., Utting, M.

Year:

2004

Language:

english

File:

PDF, 393 KB

english, 2004

33

[IEEE 14th IEEE-NPSS Real Time Conference, 2005. - Stockholm, Sweden (2005.06.10-2005.06.10)] 14th IEEE-NPSS Real Time Conference, 2005. - Merging several separate data acquisition systems at GANIL

Wittwer, G., Legeard, L., Lebertre, G., Raine, B., Olivier, L.

Year:

2005

Language:

english

File:

PDF, 238 KB

english, 2005

34

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Smartesting CertifyIt: Model-Based Testing for Enterprise IT

Legeard, Bruno, Bouzy, Arnaud

Year:

2013

Language:

english

File:

PDF, 943 KB

english, 2013

35

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience

Botella, Julien, Bouquet, Fabrice, Capuron, Jean-Francois, Lebeau, Franck, Legeard, Bruno, Schadle, Florence

Year:

2013

Language:

english

File:

PDF, 272 KB

english, 2013

36

[IEEE Comput. Soc. Press Sixth International Conference on Tools with Artificial Intelligence. TAI 94 - New Orleans, LA, USA (6-9 Nov. 1994)] Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 - Sequences constraint solving in constraint logic programming

Baptiste, P., Legeard, B., Zidoum, H.

Year:

1994

Language:

english

File:

PDF, 309 KB

english, 1994

37

[IEEE Comput. Soc. Press 1992 IEEE International Conference on Robotics and Automation - Nice, France (12-14 May 1992)] Proceedings 1992 IEEE International Conference on Robotics and Automation - Hoist scheduling problem: an approach based on constraint logic programming

Baptiste, P., Legeard, B., Varnier, C.

Year:

1992

Language:

english

File:

PDF, 610 KB

english, 1992

38

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - A subset of precise UML for model-based testing

Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.

Year:

2007

Language:

english

File:

PDF, 210 KB

english, 2007

39

Requirements traceability in automated test generation

Bouquet, F., Jaffuel, E., Legeard, B., Peureux, F., Utting, M.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 670 KB

english, 2005

40

[IEEE 2014 8th IEEE International Conference on Software Security and Reliability (SERE) - San Francisco, California, USA (2014.6.30-2014.7.2)] 2014 Eighth International Conference on Software Security and Reliability - SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Fourneret, Elizabeta, Cantenot, Jerome, Bouquet, Fabrice, Legeard, Bruno, Botella, Julien

Year:

2014

Language:

english

File:

PDF, 580 KB

english, 2014

41

A Comparison of Four Different Lens Mappers

Larrue, Denis, Legeard, Morgane

Journal:

Optometry and Vision Science

Year:

2014

Language:

english

File:

PDF, 905 KB

english, 2014

42

SPIE Proceedings [SPIE Medical Imaging 1994 - Newport Beach, CA (Sunday 13 February 1994)] Medical Imaging 1994: Image Capture, Formatting, and Display - Multimodal registration system for the fusion of MRI, CT, MEG, and 3D or stereotactic angiographic data

Lemoine, Didier, Lussot, Eric, Legeard, Damien, Barillot, Christian, Kim, Yongmin

Year:

1994

Language:

english

File:

PDF, 510 KB

english, 1994

43

[ACM Press the 3rd international workshop - Leipzig, Germany (2008.05.11-2008.05.11)] Proceedings of the 3rd international workshop on Automation of software test - AST '08 - A test generation solution to automate software testing

Bouquet, Fabrice, Grandpierre, Christophe, Legeard, Bruno, Peureux, Fabien

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

44

Model-based testing

Binder, Robert V., Legeard, Bruno, Kramer, Anne

Journal:

Communications of the ACM

Year:

2015

Language:

english

File:

PDF, 230 KB

english, 2015

45

Capturing software processes through the generated objects

Rueher, M., Ladret, D., Legeard, B.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1989

Language:

english

File:

PDF, 402 KB

english, 1989

46

[ACM Press the 4th international software process workshop - Devon, United Kingdom (1988..-..)] Proceedings of the 4th international software process workshop on Representing and enacting the software process - - Capturing software processes through the generated objects

Rueher, M., Ladret, D., Legeard, B.

Year:

1988

Language:

english

File:

PDF, 402 KB

english, 1988

47

[ACM Press the first international workshop - St. Louis, Missouri (2005.05.15-2005.05.21)] Proceedings of the first international workshop on Advances in model-based testing - A-MOST '05 - Requirements traceability in automated test generation

Bouquet, F., Jaffuel, E., Legeard, B., Peureux, F., Utting, M.

Year:

2005

Language:

english

File:

PDF, 670 KB

english, 2005

48

Documentation et bibliothèque de l'Institut national d'études démographiques

Journal:

Year:

1953

File:

PDF, 1.89 MB

1953

49

Utilisation de caisse ISOS pour le SAMU et l’entreposage en cardiopédiatrie

Millier, C., Morel, T., Fernandez, M., Legeard, E., Betbeze, V., Rigal, J.C., Bourreille, G.

Journal:

Transfusion Clinique et Biologique

Year:

2015

Language:

french

File:

PDF, 561 KB

french, 2015

50

SPIE Proceedings [SPIE Electronic Imaging '99 - San Jose, CA (Saturday 23 January 1999)] Machine Vision Applications in Industrial Inspection VII - Real-time quality evaluation of pork hams by color machine vision

Legeard, Damien, Marty-Mahe, Pascale, Camillerapp, Jean, Marchal, Philippe, Leredde, Claude, Tobin, Jr., Kenneth W., Chang, Ning S.

Year:

1999

Language:

english

File:

PDF, 2.84 MB

english, 1999